$\forall$${\it es}$:ES, $a$:Atom1, $e$:E, $i$:Id. $e$ sends to $i$ $\parallel$ $a$  $\in$ $\mathbb{P}$